Model Transformation by Graph Transformation: A Comparative Study
نویسندگان
چکیده
Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a common sample model transformation, four different model transformation approaches are presented which all perform graph transformations. At first, a basic solution is presented and crucial points of model transformations are indicated. Subsequent solutions focus mainly on the indicated problems. Finally, a first comparison of the chosen approaches to model transformation is presented where the main ingredients of each approach are summarized.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملThe Correlation between Emotional intelligence and Knowledge Transformation (Case study: A research organization)
Organizational culture has a considerable impact on investment and acceptance of a new technology system such as knowledge management and especially it can be led to success or failure of knowledge management programs in organization. According to scientific evidences, human characteristics are effective on knowledge management and the process of knowledge management by people contains their pe...
متن کاملAddressing the Causes and Failure for Financial Transformation while Achieving Business Alignment
The financial transformation journey is often addressed through trying to avoid the pitfalls associated with the causes of failure while leveraging the critical success factors. At best, Chief Financial Officers adopting this approach are likely to improve the degree of customer service experienced by Finance department. This is unlikely to lead to sustainable financial transformation being ach...
متن کاملAn alternative transformation in ranking using l1-norm in data envelopment analysis
Jahanshahloo et al. (Appl Math Comput 153:215–224, 2004) propose a method for ranking extremely efficient decision making units (DMUs) in data envelopment analysis (DEA) using super-efficiency technique and l1-norm and they show that the presented method is able to eliminate the existing difficulties in some methods. This paper suggests an alternative transformation to convert the nonlinear mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005